Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
211	1. Introduction The following notes aim to provide a very informal introduction to Stochastic Calculus, and especially to the Itˆ o integral and some of its applications. They owe a great deal to Dan Crisan’s Stochas Add to Reading List Source URL: www.chiark.greenend.org.uk Language: English - Date: 2006-03-07 17:35:45 Martingale Local martingale Semimartingale Quadratic variation Adapted process Continuous stochastic process Girsanov theorem Infinitesimal generator Stochastic differential equation Statistics Stochastic processes Probability theory
212	Equivalence of stochastic equations and martingale problems Thomas G. Kurtz ∗ Departments of Mathematics and Statistics University of Wisconsin - Madison 480 Lincoln Drive Add to Reading List Source URL: www.math.wisc.edu Language: English - Date: 2010-07-03 15:20:47 Martingale theory Stochastic processes Operator theory Game theory Martingale Wiener process Differential equation Spectral theory Method of characteristics Statistics Mathematical analysis Calculus
213	University of Surrey On Modelling and Verifying Railway Interlockings: Tracking Train Lengths Department of Computing Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2013-05-25 17:08:22 Software engineering Process calculi Railway signalling Communicating sequential processes Models of computation Interlocking Formal methods Process calculus Model checking Computing Concurrent computing Computer science
214	Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet ´ cole Normale Sup´ CNRS, E erieure, Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:57 Boolean algebra Propositional calculus Mathematics Theoretical computer science Model theory Π-calculus Universal quantification Process calculus Interpretation Logic Mathematical logic Semantics
215	An artificial intelligence experiment in college math education Oliver Knill, Johnny Carlsson, Andrew Chi and Mark Lezama[removed], latest edit: [removed]Abstract To gain more insight into the process of teaching and Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2006-02-22 23:16:14 Video game development Computational neuroscience Open problems Calculus Video game bot Algorithm Artificial intelligence Function Principles and Standards for School Mathematics Mathematics Science Knowledge
216	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:35 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
217	Solid State Communications[removed]–588 www.elsevier.com/locate/ssc Classical and quantum pumping in closed systems Doron Cohen* Department of Physics, Ben-Gurion University, 84105 Beer-Sheva, Israel Add to Reading List Source URL: physics.bgu.ac.il Language: English - Date: 2005-02-09 17:00:00 Quantum phases Flux Vector calculus Geometric phase Adiabatic process Quantum computer Quantum stirring ratchets and pumping Physics Quantum mechanics Classical mechanics
218	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:49 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
219	Robert Meolic, Tatjana Kapus: Notes on specifying systems in EST 1 Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2006-10-10 04:27:40 Macroeconomics M2 Money supply Kapu CONFER Calculus of communicating systems Proceedings Economics Indian society Process calculi

UPDATE